School of Computer Science BCS accreditation 2021 - 2026

The unit teaches the mathematics underpinning the formal side of specifying such systems.

Assesement : Examination, Individual coursework

Use of boolean algebra, gate level design, and HDL description of circuits in the design and implementation of systems.

Assesement : Examination, Lab work

Students use the Perentie tool to write and evaluate assembly programs.

Assesement : Individual coursework

Patterns, OO Design and UML

Assesement : Coursework and examination

The theoretical principles are put into practice in several ways: (i) the MVC in use is well-known Web framework used in industry; (ii) we use external APIs for mapping (ie Mapbox); (iii) we integrate into the MVC architecture APIs that are widely used (Twitter API); (iv) principles of testing in isolation are put in practice whereby students derive tests from requirements and learn to mock components of the Web system to facilitate testing.

Assesement : Examination, Group coursework

Students are required to solve practical problems in four laboratory exercises: natural language inference, game-playing, fuzzy logic and vehicle odometry.

Assesement : Lab work

This course has the following learning outcomes: (1) Recognise general factors that affect the performance of a machine learning system, and be able to use these to analyse and learn from data; (2) Apply the knowledge to use data, design machine learning experiments, and make observations from results. Also implementation of designed learning system is required.

Assesement : Lab work

The course is about students to understand AI techniques, and about getting them to learn how to implement these techniques and how to judge when they are applicable.

Assesement : Lab work

Theoretical properties related to algorithms and data structures are explored through the implementation and evaluation of algorithmic solutions to computational problems during lab exercises.

Assesement : Lab work

Students are expected to apply knowledge acquired during the programme and through their personal research.

Assesement : Individual coursework